When we reload the remote search providers, we currently try to remove
all remote providers, and then re-scan. It turns out that we sometimes
remove the wrong providers from the remote provider list, causing us to
have some providers not correctly unloaded.
https://bugzilla.gnome.org/show_bug.cgi?id=700283
let remoteIndex = this._remoteProviders.indexOf(provider);
if (remoteIndex != -1)
- this._remoteProviders.splice(index, 1);
+ this._remoteProviders.splice(remoteIndex, 1);
},
getProviders: function() {